proof verification वाक्य

उदाहरण वाक्य

1. The related area of automated proof verification uses computer programs to check that human-created proofs are correct.
2. A simpler, but related, problem is "'proof verification "', where an existing proof for a theorem is certified valid.
3. Because of this, the task of automated proof verification is much simpler than that of automated theorem proving, allowing automated proof checking software to be much simpler than automated theorem proving software.
4. For a proof that difficult, there is always a remote possibility that someone notices a subtle but irrepairable gap even after publication; only additional complete and completely formal proof verification by computer  not likely to be attempted any time soon  could provide a major further boost to our confidence in the result .-- Lambiam 20 : 50, 2 December 2007 ( UTC)